# -*- mode: snippet -*-
# name: Corollary
# key: cor
# uuid: cor
# --
Corollary $1 : $2.
Proof.
$3
Qed.
